<?php
// TODO eventually throw error about empty list
list(,) = $c;